منابع مشابه
A foundation for real recursive function theory
The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways...
متن کاملAsynchronous Parallel Construction of Recursive Tree Hierarchies
Multi-resolution methods are widely used in scientific visualization, image processing, and computer graphics. While many applications only require an one-time construction of these data-structures which can be done in a preprocess, this pre-process can take a significant amount of time. Considering large datasets, this time consumption can range from several minutes up to several hours, especi...
متن کاملTwo hierarchies of R-recursive functions
In the paper some aspects of complexity of R-recursive functions are considered. The limit hierarchy of R-recursive functions is introduced by the analogy to the μ-hierarchy. Then its properties and relations to the μ-hierarchy are analysed.
متن کاملReducibilities in L Rafr 1 Recursive Function Theory
REDUCIBILITIES IN RECURSIVE FUNCTION THEORY Carl Groos Jockusch, Jr. Submitted to the Department of Mathematics on May 13, 1966 in partial fulfillment of the requirements for the degree of Doctor of Philosophy. In this dissertation some reducibilities of recursive function theory are analyzed, with particular emphasis on the relationships between many-one reducibility and various kinds of truth...
متن کاملTheory Revision in Fault Hierarchies
The fault hierarchy representation is widely used in expert systems for the diagnosis of complex mechanical devices. On the assumption that an appropriate bias for a knowledge representation language is also an appropriate bias for learning in this domain, we have developed a theory revision method that operates directly on a fault hierarchy. This task presents several challenges: A typical tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1964
ISSN: 0002-9947
DOI: 10.2307/1994038